Published in: Dagstuhl Reports, Volume 13, Issue 3 (2023)
Swen Jacobs, Kenneth McMillan, Roopsha Samanta, and Ilya Sergey. Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112). In Dagstuhl Reports, Volume 13, Issue 3, pp. 32-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{jacobs_et_al:DagRep.13.3.32, author = {Jacobs, Swen and McMillan, Kenneth and Samanta, Roopsha and Sergey, Ilya}, title = {{Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)}}, pages = {32--48}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {3}, editor = {Jacobs, Swen and McMillan, Kenneth and Samanta, Roopsha and Sergey, Ilya}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.3.32}, URN = {urn:nbn:de:0030-drops-192278}, doi = {10.4230/DagRep.13.3.32}, annote = {Keywords: Deductive Verification, Distributed Algorithms, Formal Verification, Model Checking} }
Published in: DARTS, Volume 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee. Concurrent Data Structures Linked in Time (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 4:1-4:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{delbianco_et_al:DARTS.3.2.4, author = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya}, title = {{Concurrent Data Structures Linked in Time (Artifact)}}, pages = {4:1--4:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2017}, volume = {3}, number = {2}, editor = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.3.2.4}, URN = {urn:nbn:de:0030-drops-72850}, doi = {10.4230/DARTS.3.2.4}, annote = {Keywords: separation logic, linearization Points, concurrent snapshots, FCSL} }
Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee. Concurrent Data Structures Linked in Time. In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, pp. 8:1-8:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{delbianco_et_al:LIPIcs.ECOOP.2017.8, author = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya}, title = {{Concurrent Data Structures Linked in Time}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {8:1--8:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.8}, URN = {urn:nbn:de:0030-drops-72558}, doi = {10.4230/LIPIcs.ECOOP.2017.8}, annote = {Keywords: Separation logic, Linearization Points, Concurrent snapshots, FCSL} }
Published in: LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017)
James R. Wilcox, Ilya Sergey, and Zachary Tatlock. Programming Language Abstractions for Modularly Verified Distributed Systems. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 71, pp. 19:1-19:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{wilcox_et_al:LIPIcs.SNAPL.2017.19, author = {Wilcox, James R. and Sergey, Ilya and Tatlock, Zachary}, title = {{Programming Language Abstractions for Modularly Verified Distributed Systems}}, booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)}, pages = {19:1--19:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-032-3}, ISSN = {1868-8969}, year = {2017}, volume = {71}, editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.19}, URN = {urn:nbn:de:0030-drops-71266}, doi = {10.4230/LIPIcs.SNAPL.2017.19}, annote = {Keywords: Distributed systems, program verification, distributed protocols, domain-specific languages, type systems, dependent types, program logics.} }
Feedback for Dagstuhl Publishing